Pushing the EL Envelope Further
نویسندگان
چکیده
We extend the description logic EL with reflexive roles and range restrictions, and show that subsumption remains tractable if a certain syntactic restriction is adopted. We also show that subsumption becomes PSpace-hard (resp. undecidable) if this restriction is weakened (resp. dropped). Additionally, we prove that tractability is lost when symmetric roles are added: in this case, subsumption becomes ExpTimehard.
منابع مشابه
Pushing the EL Envelope
Recently, it has been shown that the small description logic (DL) EL, which allows for conjunction and existential restrictions, has better algorithmic properties than its counterpart FL0, which allows for conjunction and value restrictions. Whereas the subsumption problem in FL0 becomes already intractable in the presence of acyclic TBoxes, it remains tractable in EL even with general concept ...
متن کاملWhen to Push the Envelope: Legal Ethics, the Rule of Law, and National Security Strategy
This Article argues for pushing the envelope when three conditions are met: (1) the executive engages in dialogue with other players, either before the fact or through timely ex post ratification; (2) pushing the envelope will generate a net positive aggregate of institutional consequences, viewed from an intermediate and long-term perspective; and (3) pushing the envelope harmonizes executive ...
متن کاملDynamic Envelope and Control Shading Pattern to Visual Comfort of Office Building in Tehran
This work reviews the effect of parametric programming on visual performance, daylighting and shading in office buildings in Tehran-Iran and studies their influences that help not only to reduce the glare but also to promote useful daylight illuminance through promoting visual comfort. It starts by establishing a review of the effective parameters on visual comfort indices, glare indices, and d...
متن کاملIdentification of Aptamer-Binding Sites in Hepatitis C Virus Envelope Glycoprotein E2
Hepatitis C Virus (HCV) encodes two envelope glycoproteins, E1 and E2. Our previous work selected a specific aptamer ZE2, which could bind to E2 with high affinity, with a great potential for developing new molecular probes as an early diagnostic reagents or therapeutic drugs targeting HCV. In this study, the binding sites between E2 and aptamer ZE2 were further explored. E2 was truncated to 15...
متن کامل